1. Intensional mathematics
پدیدآورنده: / edited by Stewart Shapiro. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Modality (Logic),Constructive mathematics.,Intuitionistic mathematics.
رده :
QA
,
9
.
46
,.
I57
,
1985
2. Intensional mathematics
پدیدآورنده: SHAPIRO,STEWART
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-
رده :
QA
9
.
46
.
I57
3. Intensional mathematics /
پدیدآورنده: edited by Stewart Shapiro
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Constructive mathematics,Intuitionistic mathematics,Modality (Logic)
رده :
QA9
.
46
.
I57
1985
4. Intenstional mathematics
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Modality (Logic) ► Constructive mathematics ► Intuitionistic mathematics
رده :
9
.
46
.
I57
5. Intentional mathematics
پدیدآورنده: / edited by Stewart Shapiro
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Modality (Logic),Constructive mathematics,Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
